What is a logic, and what is a proof ?
نویسنده
چکیده
I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I propose to simply use the notion of preorder equivalence. This might be considered to be folklore, but is exactly what is needed from the viewpoint of the problem of the identity of proofs: If the proofs are considered to be part of the logic, then preorder equivalence becomes equivalence of categories, whose arrows are the proofs. For identifying these, the concept of proof nets is discussed.
منابع مشابه
Using the Taxonomy and the Metrics: What to Study When and Why; Comment on “Metrics and Evaluation Tools for Patient Engagement in Healthcare Organization- and System-Level Decision-Making: A Systematic Review”
Dukhanin and colleagues’ taxonomy of metrics for patient engagement at the organizational and system levels has great potential for supporting more careful and useful evaluations of this ever-growing phenomenon. This commentary highlights the central importance to the taxonomy of metrics assessing the extent of meaningful participation in decision-making by patients, consumers and community mem...
متن کاملNeoliberalism 4.0: The Rise of Illiberal Capitalism; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Neoliberal logic and institutional lethargy may well explain part of the reason why governments pay little attention to how their economic and development policies negatively affect health outcomes associated with the global diffusion of unhealthy commodities. In calling attention to this the authors encourage health advocates to consider strategies other than just regu...
متن کاملتحلیلی بر شیوه های نگرش به معماری اسلامی
Researchers and experts have employed various approaches in dealing with Islamic Architecture. Architects, scholars, designers, mystics and philosophers have interpreted this phenomenon in their particular ways over time. Some merely have considered historical descriptive methods as an outward expression. Sometimes these descriptions and analysis aim at definition of spaces and architectural el...
متن کاملThe Relation between Liberty and Justice in Ali Shariati’Political Thought
Ethical tenets and political systems are one of the most controversial terminologiesin philosophy ofethics and politicalthought.That is why thinkers based upon theirintellectual standpoint have reached different inferences and definitions andelaborated various aspects of it accordingly.Shariatisimilar to his precedingthinkersmade the creation of ethicalpolitical system one of hi...
متن کاملModeling and Identification Based On CAN Network Information in Iranian Cars
Modeling and identification of the system of Iranian cars is one of the most basic needs of automotive and consumer groups and has a broad role for safe driving. It has happened with speed increasing or changing of shift gear, effects on water temperature or the car's torque has been observed, but how much and how intensely and with what algorithm this effect is identifiable, can be modeled...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل